First-order logic with incomplete information
نویسنده
چکیده
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
منابع مشابه
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
Reasoning about time and space is essential for many applications, especially for robots and other autonomous systems that act in the real world and need to reason about it. In this paper we present a pragmatic approach to spatio-temporal stream reasoning integrated in the Robot Operating System through the DyKnow framework. The temporal reasoning is done in the Metric Temporal Logic and the sp...
متن کاملEpistemic First-order Queries over Description Logic Knowledge Bases
Querying Description Logic knowledge bases has received great attention in the last years. The need of coping with incomplete information is the distinguishing feature with respect to querying databases. Due to this feature, we have to deal with two conflicting needs: on the one hand, we would like to query the knowledge base with sophisticated mechanisms provided by full first-order logic as i...
متن کاملEQL-Lite: Effective First-Order Query Processing in Description Logics
Querying Description Logic knowledge bases has received great attention in the last years. In such a problem, the need of coping with incomplete information is the distinguishing feature with respect to querying databases. Due to this feature, we have to deal with two conflicting needs: on the one hand, we would like to query the knowledge base with sophisticated mechanisms provided by full fir...
متن کاملImpossibility Results for Logic dBerLog 2011 , Week 6
We prove that any sound logic for arithmetic must be incomplete. From this it follows that Hoare logic is incomplete too. We also see that the validity problem and the provability problem for rst-order predicate logic are undecidable problems. We see that any sound logic for second-order predicate logic must be incomplete. The crucial step in proving these results is establishing the expressive...
متن کاملLogical settings for concept learning from incomplete examples in First Order Logic
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with data incompleteness. More precisely we are interested in extending the learning from interpretations setting introduced by L. De Raedt that extends to relational representations the classical propositional (or attribute...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1703.03391 شماره
صفحات -
تاریخ انتشار 2017